Lause- ja predikaatloogika valemite teisendamise piprogramm

Fraaside tlkimise juhend



Programmi tekste saab tlkida teistesse keeltesse, kui luua uus tlkefail ja see programmi abil avada. Seejrel asendab programm kik esialgsed fraasid neile vastavate fraasidega tlkefailist. Tlkefailide laiendiks peab olema ".properties".

Selleks, et fraasid segamini ei lheks, kasutatakse fraaside ees neile vastavaid indekseid kujul "sXXX", kus "XXX" asemel on arv.

Kige lihtsam oleks alustada tlkimist sellega, et teha koopia hest olemasolevast tlkefailist ja asendada olemasolevad fraasid vastavate tlgetega.

Selleks, et programm oskaks tlkefaili lugeda, on vaja, et tlkefaili tekst oleks kindlal kujul. Igal real peab olema ks indeks ja talle vastav fraas. Indeksi ja fraasi vahel olgu ka vrdusmrk, mis on eraldatud thikutega.

[Nide]
s001 = Reegli rakendamine
s002 = Lisada vajalikesse kohtadesse sulud:
[Nite lpp]

Tlkefailist fraase lugedes visatakse iga fraasi eest ja tagant ra kik thikud. Kui on kindlasti vaja, et uues fraasis oleks ka thikud olemas, on vaja kasutada thiku eest kaldkriipsu '\'.

[Nide]
s041 = Osavalemit\ 
s042 = \ ei saa reegli phjal vlja jtta!
[Nite lpp]

Tlkefail on lesannete koostamise ja nende lahendamise programmile hine. Kui tlkida ra kik fraasid, vib olla kindel, et mlemat programmi tlgitakse korrektselt.

Kui lesandeid luuakse, siis nende kirjeldused salvestatakse String-muutujasse. Neid kirjeldusi ei tlgita, sest lesande looja vib kirjelduse ise kirjutada. Kui on vajadus luua lesandeid, mille kirjeldus oleks teises keeles, vib lesannete loomise programmis enne keele ra muuta ja lesannetele pannakse kirjeldused automaatselt valitud keeles.

Tlkefailis ei tohi olla leliigseid indekseid ega fraase. Kik indeksid peavad ka olemas olema. Vastasel juhul ei vta programm tlkefaili vastu.

Kasutusjuhendit ei ole hetkel vimalik tlkida, kuna selle tekst on vga pikk ja seda ei ole sobiv tlkida sellise tlkefailiga.

Selleks, et testida, kas programm tlkefaili avab, on vaja see lihtsalt programmi kaudu avada.